ECROs: building global scale systems from sequential code

To ease the development of geo-distributed applications, replicated data types (RDTs) offer a familiar programming interface while ensuring state convergence, low latency, and high availability. However, RDTs are still designed exclusively by experts using ad-hoc solutions that error-prone result in brittle systems. Recent works statically detect conflicting operations on existing coordinate those at runtime to guarantee convergence preserve application invariants. these approaches too conservative, imposing coordination large number operations. In this work, we propose principled approach design implement efficient taking into account Developers extend sequential with distributed specification, which together form an RDT. We analyze specification conflicts unravel their cause. This information is then used serialize concurrent safely efficiently. Our derives correct RDT from any type without changes type's implementation minimal coordination. our Scala develop extensive portfolio RDTs. The evaluation shows provides performance similar conflict-free for commutative operations, considerably improves non-commutative compared solutions.